A sixth of the military budget goes to 5 companies