锥约束优化：最优性理论与增广Lagrange方法