George Nemhauser Wins 2012 John von Neumann Theory Prize