Cognitive behavioral treatment of insomnia