who are the top ten mining companies in the world for 2012