Necessary optimality conditions for nonsmooth semi-infinite programming problems