mining sectors in the world