Text this: Geometric optimal control and applications to aerospace