Measurement of tumor oxygenation: a comparison between polarographic needle electrodes and a time-resolved luminescence-based optical sensor.