The growth of world agricultural production, 1800-1938