Amadeus eleva su beneficio un 9,2% en los nueve primeros meses, hasta los 608,4 millones