Catheter ablation of atrioventricular nodal reentrant tachycardia