optimality conditions criterion nonbasic