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