An introduction to the Global Aircraft Trading System 〈GATS〉