Minimally invasive thoracoscopic left atrial appendage occlusion compared with transcatheter left atrial appendage closure for stroke prevention in recurrent nonvalvular atrial fibrillation patients after radiofrequency ablation: a prospective cohort study