mathematical programming mit