How Government Regulations Shape NFL Betting