Tom Lehrer, mathematician and singer-songwriter known for colorful satire, dies