Time-resolved ion velocity distribution in a cylindrical Hall thruster: heterodyne-based experiment and modeling.