NFL to trim overtime