Symplectic Numerical Integrators in Constrained Hamiltonian Systems