What was London's estimated population in the 1980s?