Information and facts about the mining industry you probably didn’t know.