Statistics of Rational and design of the ROTAS study: a randomized study for the optimal treatment of symptomatic patients with low-gradient severe aortic valve stenosis and preserved left ventricular ejection fraction.