Protein tyrosine phosphatases: functional inferences from mouse models and human diseases