Modeling of saturated AC machines including air gap flux harmonic components | Synapse