mathematical modeling of induction motor