Essentials of Online Betting Exchanges