Betting on a football game