Saturated Induction Machine Modelling Based on High Frequency Signal Injection