Radiofrequency catheter ablation of slow pathway in patients with dual atrioventricular node pathway and a documented but noninducible atrioventricular nodal reentrant tachycardia