Sensing Apps and Public Data Sets for Digital Phenotyping of Mental Health: Systematic Review