Real-time atrial wall imaging during radiofrequency ablation in a porcine model