Model validation for an AMB-based compressor surge control test rig