Achieving undo in bitmap-based collaborative graphics editing systems