Data-mine ore FOR millennia, man has broken rocks. Whether with pickaxe or dynamite, their own or animal muscle, in a digger or a diesel truck, thick-necked miners have been at the centre of an industry that supplies the raw materials for almost all industrial activity. Making mining more profitable has long involved squeezing out more tonnes of metal per ounce of brawn.