Coronary revascularization and sex differences in cardiovascular mortality after myocardial infarction in 12 high and middle-income European countries