煤矿矿长行政级别高吗