采矿企业属于工业企业吗