How Much Information Is There in the World?