From: Distinct behavioral traits and associated brain regions in mouse models for obsessive–compulsive disorder