Collision avoidance in commercial aircraft Free Flight via neural networks and non-linear programming