煤矿矿长的七项法定职责是什么