Diversity and distribution of the Trichoptera of Florida, United States, with descriptions of five new species