Text this: Multiaircraft Optimal 4D Trajectory Planning Using Logical Constraints