quelle est la population de la floride