Thrombus formation on bioprosthetic aortic valves