Impact of case formulation in cognitive behaviour therapy for psychosis