what is santa cruz's population?