Contact-implicit Modeling of Snake Robot Sidewinding on Compliant and Granular Terrain | AMiner