An Overview of NFL Wagering