What is the Main Difference between Mining and Quarrying?