What was the population in 2010 of the county where San Antonio Florida is located ?