what is the population of st augustine fl