Knockout mice reveal a role for protein tyrosine phosphatase H1 in cognition