采矿企业属于什么行业类别