Computer-assisted animation of atrial tachyarrhythmias recorded with a 64-electrode basket catheter.