石油工程属于地质类还是矿业类