What was the 2010 population of the town just south of Portsmouth Gaseous Diffusion Plant in 2010?