Behavioral and synaptic alterations relevant to obsessive-compulsive disorder in mice with increased EAAT3 expression