Cost-effectiveness of Different Strategies for the Diagnosis of Stable Coronary Artery Disease: Results from the Evinci Study