total revenue of the global mining industry