A computer program to predict when cardiac catheterization is a cost effective test after treadmill testing