Discovery and development of varenicline for smoking cessation