Gravar-mail: A Mobile Health Intervention for Mental Health Promotion Among University Students: Randomized Controlled Trial