The risk of stroke in patients with acute myocardial infarction treated invasively