矿井巷道、水平、采掘工作面命名