An introduction to the Global Aircraft Trading System (GATS)