煤矿矿长职责