DiffNator: Generating Structured Explanations of Time-Series Differences