Notre Dame football: QB Ian Book declares for NFL Draft