what is the difference between quarry and mine