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