DLGAP3 and obsessive-compulsive disorder: Summary of the behavioral alterations relevant to obsessive-compulsive disorder reported in the SAPAP3 KO mouse, Slitrk5 KO mouse, and EAAT3glo/CMKII mouse.