The contents of the World Factbook in open data formats