Productivity in mining: Now comes the hard part, a global survey