On modeling the air traffic control coordination in the collision avoidance problem by mixed integer linear optimization