What causes a diet coke to float and a regular coke to sink in water??