books on quarry extraction sand making stone quarry