quarrying and dressing of stone