Modeling shellfish harvest policies for food safety: Wild oyster harvest restrictions to prevent foodborne Vibrio vulnificus