Computational and Experimental Modeling of Subclinical Leaflet Thrombosis in Bioprosthetic Aortic Valves