As of the 2021 census, what was the population of the city of Paris (intra-muros), rounded to the nearest hundred thousand?