Nonlinear Contact Modeling and Haptic Characterization of the Ovine Cervical Intervertebral Disc | IEEE Conference Publication | IEEE Xplore