The amount of tonnes of ore extracted from the earth in a day is vast at the world’s largest mines — owned and operated by the majors of the industry.