Diagnosis and treatment of an obsessive-compulsive disorder following traumatic brain injury: A single case and review of the literature