煤矿工程师有哪些种类