Analyzing Process-Aware Information System Updates Using Digital Twins of Organizations