A library for human kinematic motion and numerical optimization solvers to apply human motion