how rocks mined in a quarry