Food allergy management among restaurant workers in a large U.S. city. (May 2016)