According to the 2010 Census, what was the population of the city in which the Library of MIchigan is located?