Validation of a simple automated movement detection system for formalin test in rats