San diego population