dân số ở florida là bao nhiêu