Amadeus emplea tecnología de IBM para agilizar verificación sanitaria