Measurement of myocardial PCO2 with a microelectrode: its relation to coronary sinus PCO2