Optimality conditions for nonsmooth mathematical programs with equilibrium constraints, using convexificators