冶金属于矿山吗还是工程