what is the population of florida