煤矿矿长职责包括治理工作吗