The White House on Monday announced that it is formally launching a new U.S. Digital Service and that it has hired to lead it Mikey Dickerson, an engineer widely credited with playing a central role in salvaging HealthCare.gov after its disastrous launch.