Pentágono libera US$9,7 bi a empresas de tecnologia