What was the population of San Diego at the time of the 2000 census?