applied mathematical programming mit