Nonlinear dynamic model of a pivot ball bearing in hard disk drive including the hertzian contact force | IEEE Conference Publication | IEEE Xplore