Variational Integrators in Holonomic Mechanics