Amadeus chosen by travel agents as preferred Global Distribution System for hotel booking platform at ATM 2012