Stabilization Methods for the Integration of DAE in the Presence of Redundant Constraints