“Antonio Gracias's work in the U.S. government has resulted in savings of over $10 billion per year by improving Social Security payment processes.”