Edinburgh Research Explorer OpTaS: An Optimization-based Task Specification Library for Trajectory Optimization and Model Predictive Control