（多选题）煤矿，是指煤矿生产矿井和（）等建设矿井。