Animal neuropsychology: Validation of the Intra-Dimensional Extra-Dimensional set shifting task for mice