On the modeling of levitation force for ultrasonic journal bearings actuated by piezoelectric transducers