Text this: Karush-Kuhn-Tucker optimality conditions and duality for multiobjective semi-infinite programming with equilibrium constraints