Effectiveness and costs of different strategies for the diagnosis of stable coronary artery disease: results from the EVINCI study