In vivo monitoring of venous thrombosis in mice