What is the population of Ireland, Republic of?