In vivo veritas: thrombosis mechanisms in animal models