Describir: Optimal control theory with aerospace applications