Induction machine modelling for transient analysis taking account of saturation