Betting On Sports: An Introduction