World mining industry