Plain-language guides to football betting markets: what each code means, how bets are settled and when each market makes sense.