Efficient Mining of Temporally Annotated Sequences