What is the population of the UK?