Empirical Evidence that Algorithm Animation Promotes Understanding of Distributed Algorithms