煤矿开采属于工程相关专业吗