The importance of traumatic events in formulation and intervention in cognitive behavioural therapy for psychosis: three case examples