Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods