Cyclokinetic models and simulations for high-frequency turbulence in fusion plasmas