mining industry in all over the world