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