What is the population of Italy?