Prescribing Smartphone Apps for Physical Activity Promotion in Primary Care: Modeling Study of Health Gain and Cost Savings