Gyrokinetic theory of toroidal Alfvén eigenmode nonlinear saturation via ion Compton scattering