As of 2022, what was the population of the city of Rome (rounded to the nearest hundred thousand)?