general grievous star wars played by danny devito