Gyrokinetic theory of the nonlinear saturation of a toroidal Alfvén eigenmode