Integrable symplectic maps