Heparin and the inactivation of thrombin by antithrombin III