It’s official: James Franklin is Penn State’s new football coach