contribution mining and quarry in nigeria gdp