Cognitive-behavioral therapy for insomnia