Using a conversational agent for thought recording as a cognitive therapy task