How outright (futures) bets, dead-heat tie rules, and winning-margin markets settle — with a worked dead-heat …