Tight Representations Of Specially-Structured 0-1 Linear, Quadratic, And Polynomial Programs