The influence of saturation on eddy currents in form-wound windings of electrical machines