Response Generation for Cognitive Behavioral Therapy with Large Language Models: Comparative Study with Socratic Questioning