Tourist officials: business boomed in Florida for 2017, despite Hurricane Irma