What was the population of Florida in 2001?