quarrying [verb] + mining [noun]