Animating operating systems algorithms with XTANGO | Synapse