How much of the population aged 15 and above used the World Factbook in school in 2009