Characterization of Exact Lumpability of Smooth Dynamics on Manifolds