washing how rocks are mined in a quarry