difference between mine and quarry