Boring robots for repairing the interiors of canalization pipes; Boring robots for repairing the interiors of pipes; Robots for repairing sewer pipes; Robots for cleaning sewer pipes