Formal Lumping of Polynomial Differential Equations through Approximate Equivalences