Transient Modeling of Induction Motors considering Space Harmonics and Saturation Effects