Der gute Mensch von Sezuan, Theater