how much does scotland contribute to the uk gdp