Effect of a Virtual Reality Contact-Based Educational Intervention on the Public Stigma of Depression: Randomized Controlled Pilot Study