Management of atrial tachyarrhythmias: benefits of pacemaker diagnostics.