Non-linear gyroresonant interactions of energetic particles and coherent VLF waves in the magnetosphere