As of mid-2014, London's population forms what percentage of the entire United Kingdom population?