According to the 2010 census, what was the population of the county which headquarters the DeKalb County School District?