Another Google veteran is going to work for the government