how often do tornadoes occur in florida