Gravar-mail: Development and Usability Evaluation of a Healthy Lifestyle Coaching Chatbot Using a Habit Formation Model