equipment used in a rock quarry