Mining Sequences with Temporal Annotations