what is the population of st petersburg fl