quarry and mining toolsquarry and nigeria gdp