Goldman Sachs built a probability engine to forecast the World Cup, and the shocks of the knockout round show how the model reprices as new results arrive.