A discrete-time model including cross-saturation for surface permanent-magnet synchronous machines