grinding stone olden days sand making stone quarry