Plasma HDL cholesterol and risk of myocardial infarction: a mendelian randomisation study