Quanti abitanti ha Catania nel 2020?