tools used to crush stones in quarry