What happens to tennis bets when a player retires or there is a walkover: match markets, set/game markets, …