What Happens to Bets in Soccer Extra Time?