Definition of pain and distress and reporting requirements for laboratory animals :proceedings of the workshop held June 22, 2000