what s the difference between quarry and gravel pit