Comparison between two methods for cardiac output measurement in propofol-anesthetized dogs: thermodilution and Doppler.