煤矿五职矿长的规定是什么