煤矿按建设类型分为____等。