Taifead r-phoist: How many people have had a myocardial infarction? Prevalence estimated using historical hospital data