13 things we already know about the 2017 NFL schedule