Constrained Dynamics in the Hamiltonian formalism