what is the population of santa cruz?