LYDIAN: An extensible educational animation environment for distributed algorithms