Discovering the Top-k Unexplained Sequences in Time-Stamped Observation Data