Targeted gene disruption of natural anticoagulant proteins in mice