Miner Memorial Library is the public library in a town with a population of what at the 2010 census?