HealthCare.gov Is Now Running “Smoothly for Vast Majority of Users”