US Deputy Chief Technology Officer Ryan Panchadsaram is leaving his White House post