Gravar-mail: Impact of Gamification on the Self-Efficacy and Motivation to Quit of Smokers: Observational Study of Two Gamified Smoking Cessation Mobile Apps