Of the city's population over the age of 25, 53. How much of the Seattle population have high school diplomas?