Conceptual and Computational Modelling of Coordination Mechanisms in Air Traffic Management