Randomized study of surgery for patients with permanent atrial fibrillation as a result of mitral valve disease.