Predicting aortic valve prosthesis size