Optimal choice of staff for coal mine safety evaluation and management based on gray statistical method | IEEE Conference Publication | IEEE Xplore