Users’ needs for a digital smoking cessation application and how to address them: a mixed-methods study