Comparison of cardiac surgery with left atrial surgical ablation vs. cardiac surgery without atrial ablation in patients with coronary and/or valvular heart disease plus atrial fibrillation: final results of the PRAGUE-12 randomized multicentre study