Aortic valve replacement for aortic stenosis in patients with concomitant mitral regurgitation: should the mitral valve be dealt with?