Air India back with Amadeus for ticketing solutions