Gravar-mail: A Novel Smoking Cessation Smartphone App Integrated With a Mobile Carbon Monoxide Checker for Smoking Cessation Treatment: Protocol for a Randomized Controlled Trial