A Model for Saturation Effects in High-Field Permanent Magnet Synchronous Motors