What was the 2010 population of the city where Steven L. Abrams was mayor?