Combined atrial fibrillation ablation with mitral valve surgery.