what is florida's population of 2011?