Plasmin Generation Plays different Roles in the Formation and Removal of Arterial and Venous Thrombus in Mice