Learning to Reformulate for Linear Programming