The anticoagulant activation of antithrombin by heparin