采矿业属于工业部门吗知乎