How many times would ND have made the playoffs if the future 5-7 format was in place