As of 2011 what was the population of the core of London?