how many "former" government employees work at Google?