the use of quarry dust for construction in nigeria