New approaches in tail-bleeding assay in mice: improving an important method for designing new anti-thrombotic agents