TLEX: An Efficient Method for Extracting Exact Timelines from TimeML Temporal Graphs