HP será el principal proveedor tecnológico de la Fuerza Aérea de Estados Unidos