OpTaS: An Optimization-based Task Specification Library for Trajectory Optimization and Model Predictive Control | IEEE Conference Publication | IEEE Xplore