I am trying to create a model of Raibert's planar hopper to simulate in MuJoCo, however, it requires setting up a prismatic joint to compress a spring (see picture below). Anybody know if MJCF modeling language supports this?