[2205.08105] Discretization of inherent ODEs and the geometric integration of DAEs with symmetries