Implementation of Kalman Filtering for Differential-Algebraic Equations