Mixed-integer nonlinear programming for aircraft conflict avoidance by sequentially applying velocity and heading angle changes