Mice lacking glutamate carboxypeptidase II develop normally, but are less susceptible to traumatic brain injury