robin williams as the joker in batman