Implementing Sustainable Mobile Health Technology to Optimize a Smoking Cessation Program for Lao People With HIV (Project I-STOP): Protocol for a Hybrid Type-2 Pragmatic Effectiveness-Implementation Study