what is difference between mine and quarry