methods of quarrying stone