A quantitative venous thrombosis model with stasis based on vascular lesion