Higher Order Conditions in Nonlinear Optimal Control