煤矿开采技术属于什么专业_理工学都包括什么专业