mathematical program with equilibrium constraints (MPEC)