How is the direction of rotation of the main propulsion motor in a modern AC propulsion drive system reversed?