How much of the population used the World Factbook in school?