NFL Kickoff 2018: Are Stadium Wi-Fi Networks Ready for In-Game Mobile Betting?