Mathematical programs with equilibrium constraints