“The mining industry is a late adopter of technology, with its technical capabilities estimated to be 10 to 20 years behind the state of the art.”