grinding stone definition sand making stone quarry