Text this: Tightening state relaxations for global dynamic optimization using dynamic cuts.