Is the NFL's excessive celebration penalty excessive?