Amadeus casi triplica su beneficio en el primer semestre, con 540,3 millones