defination of quarrying