mining industry in the world