HealMe: Harnessing Cognitive Reframing in Large Language Models for Psychotherapy