什么叫矿山管理人员