Text this: Comparing the Efficacy of 2 WeChat Mini Programs in Reducing Nonmarital Heterosexual Contact by Male Factory Workers: Randomized Controlled Trial