interesting facts about iron ore mining