Symplectic Structure of Discrete Hamiltonian Systems