Axial electrodynamic suspension for a vertical axis rotor: modeling and experimental validation