Tom Lehrer, song satirist and mathematician, dies at 97