Evaluation and Modeling of Cross Saturation Due to Leakage Flux in Vector-Controlled Induction Machines