Bayes' theorem, the exercise ECG, and coronary artery disease.