Mathematical models of thrombin generation