Polarographic measurement of cerebral oxygenation using chronically implanted electrodes.