Dynamic modeling and experimental validation of Axial Electrodynamic Bearings