The Assessment of Post-Vasectomy Pain in Mice Using Behaviour and the Mouse Grimace Scale | Synapse