what is mining and quarrying