What was the population of San Diego at the time of the 2010 census