In vivo measurement of carbon dioxide tension with a miniature electrode