Stroke rates before and after ablation of atrial fibrillation and in propensity-matched controls in the UK