Role of μ-opioid receptors in formalin-induced pain behavior in mice