A Bounded Smooth Reformulation for Complementarity Problems