Is sucralose in dietcoke unhealthy? Can you get any side effects from it?