Text this: Role of Tailored Timing and Frequency Prompts on the Efficacy of an Internet-Delivered Stress Recovery Intervention for Health Care Workers: Randomized Controlled Trial