A feasible proximal bundle algorithm with convexification for nonsmooth, nonconvex semi-infinite programming