Category:History of mining by country