Radiofrequency pulmonary veins isolation of atrial fibrillation in patients undergoing mitral valve replacement