Is double valve replacement is superior to aortic valve replacement with mitral valve repair?