Tom Lehrer, Mathematician and Musician Who Set Wicked Satire to Cheery Tunes