The county in which the Old Florida Museum is located had what population in the census of 2010?