Investigating the Effect of Personalization in a Mental Health App on Depressive Symptoms