采矿属于什么行业