difference between mining and quarrying