Are artificial sweeteners safe? We cover aspartame, sucralose, saccharin, and stevia, including the 2023 WHO classification and gut microbiome research