“Companies like General Atomics have built their business around congressional adds, a funding mechanism that is not responsive to the Department of Defense's internal preferences.”