Gravar-mail: Cost-effectiveness of varenicline and three different behavioral treatment formats for smoking cessation