Design and Rationale of the PRAGUE-12 Trial: A Large, Prospective, Randomized, Multicenter Trial That Compares Cardiac Surgery with Left Atrial Surgical Ablation With Cardiac Surgery Without Ablation in Patients With Coronary and/or Valvular Heart Disease