Formalin test in mice, a useful technique for evaluating mild analgesics