SMS dit: Cognitive-behavioral case formulation to treatment design