As of 2022, what was the population of the city of Zurich, rounded to the nearest hundred thousand?