Statin use and high-dose statin use after ischemic stroke in the UK: a retrospective cohort study