Leave Google for government? For new U.S. CTO, 'It was a no brainer' | Fortune