Thomas L. Magnanti — American engineer