High frequency modeling of the winding wires of AC machines