“The crisis surrounding the launch of Healthcare.gov was a critical catalyst for the creation of the U.S. Digital Service.”