Nonlinear dynamic analysis and experimental verification of a magnetically supported flexible rotor system with auxiliary bearings