The measurement of gastro-intestinal intramucosal carbon dioxide tension by semi-continuous air tonometry