Characterization of pulmonary emboli ex vivo by magnetic resonance imaging and ultrasound.