Continuous cerebral monitoring with transcranial Doppler to detect microemboli during catheter ablation of atrial fibrillation guided by intracardiac echocardiography