Prediction of Smartphone Addiction Among Korean Adolescents Based on Physical Activity and Mental Health: A Machine Learning Analysis Using LASSO and SHAP From the Korea Youth Risk Behavior Survey | Synapse