Florida sees record tourism numbers despite Hurricane Irma