I’m more of a Pepsi man myself, but what do the 5 different Cokes on the market actually have in them? Demystifying Diet Coke(s)