The European System for Cardiac Operative Risk Evaluation Is a Useful Risk Stratification Model for High-Risk Aortic Valve Replacement in Patients With Aortic Stenosis and Severe Left Ventricular Dysfunction