Modelling and Analysis of Autonomous Airport Surface Movement Operations based on Multi-Agent Planning