differential-algebraic equation