differential-algebraic equations