Modeling and Diagnostic of Permanent Magnet Synchronous Machine under Insulation Failure Condition