quarrying definition