Text this: A Digital Software Support Platform for Hyperthyroidism Management in South Korea: Markov Simulation Model-Based Cost-Effectiveness Analysis