Cognitive Behavioral Therapy for Insomnia in Posttraumatic Stress Disorder