Why does a diet coke float and a coke sinks?