Saturation of Alfvén modes in tokamak plasmas investigated by Hamiltonian mapping techniques