mining contribution to gdp by country