Modeling Major Symptom Categories of Schizophrenia in Mice