contribution of mining to gdp nigeria