صناعة التعدين