Kinetic modeling of nonlinear electron cyclotron resonance heating