Motivating PhD candidates with depression symptoms to complete thoughts-strengthening exercises via a conversational agent