The impact of reformulation on insight and symptom change in cognitive analytic therapy