difference between quarry and mine us