Mining domain-specific edit operations from model repositories with applications to semantic lifting of model differences and change profiling.