In the 2011 census, what was the population of Southampton after it merged with Portsmouth?