Gravar-mail: An Internet-based self-help intervention for people with HIV and depressive symptoms: study protocol for a randomized controlled trial