石油工程算矿业类吗