Effectiveness of a text-messaging-based smoking cessation intervention (“Happy Quit”) for smoking cessation in China: A randomized controlled trial