Visual editing of animated algorithms: The Leonardo Web builder