Tom Lehrer at 90: a life of scientific satire