Cactus: Towards Psychological Counseling Conversations using Cognitive Behavioral Theory