The open World Factbook in custom tex format