What is the population of princeton new jersey