Derivation of Fine-Grained Change Sequences from State-Based Deltas of XML Files for Model Consistency