Text this: Atrioventricular junction ablation in patients with atrial fibrillation treated with cardiac resynchronization therapy