Agent-based modelling and simulation of coordination by airline operations control