Modeling, Design, and Testing of Contact-aided Compliant Mechanisms in Spinal Arthroplasty