The Effects of Rain on Traffic Safety and Operations on Florida Freeways