A linear programming formulation of Mader's edge-disjoint paths problem