Progress in Differential-Algebraic Equations