Comparison of Doppler-derived pressure gradient to that determined at cardiac catheterization in adults with aortic valve stenosis: Implications for management