what is the population in santa cruz county ca?