Quarrying of stone