Modeling of rotary traveling wave ultrasonic motor