methods of stone quarrying