Moreau Envelope Based Difference-of-weakly-Convex Reformulation and Algorithm for Bilevel Programs