The former chief technology officer is officially Trump’s nominee to lead the White House’s science and technology arm.