The NFL’s 10-minute overtime won’t be the disaster some fear