تاريخ صناعة التعدين في أوروبا