process of quarrying dressing of stone