On variational and symplectic time integrators for Hamiltonian systems