Text this: How many people have had a myocardial infarction? Prevalence estimated using historical hospital data