采矿业是工业部门吗知乎