Text this: Mining Frequent Sequences with Time Constraints from High-Frequency Data