how are rocks mined in quarries