Why brominated vegetable oil was added to Gatorade