Non-linear saturation of the internal kink mode