How much of the U.S. economy is driven by the military-industrial complex?