mining industry gdp contribution in 1970