difference between mine and quarry - Search