تاريخ تعدين