What is the total population of Scotland and how does that population represent the percentage of the overall population of the United Kingdom?