distribution of ore mining of world