Assuming that the motor is capable of running with no rotor slip, what type of motor would be used in an AC propulsion drive system?