Contact Modeling for Optimization Time Integration