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