Diagnostic-oriented modelling of induction machines with stator short circuits