How important is the structure of school vaccine requirement opt-out provisions? Evidence from Washington, DC's HPV vaccine requirement