冶金企业属于矿山企业吗