Mining Insights from User-Generated Content on Thrive with Me, an mHealth Platform for Men Living with HIV: Demonstration of a Novel Machine Learning-Aided Thematic Analysis.