How much redundancy was introduced to the US military by the imposition of multiple service branches without shared logistical elements?