whats the difference between a mine and quarry