what is the population of tampa florida as of 2011?