Wie viele Menschen wohnen in San Diego?