what what is mining and quarrying