Users’ needs for a digital smoking cessation application and how to address them