The Tuck Rules: NFL's overtime rule isn't working