stone mining in african sand making stone quarry