Repair & Operation (MRO), Mining