whats the population of the state of florida