A Quick Introduction to Betting on the NFL Games