Text this: A tight MIP formulation of the unit commitment problem with start-up and shut-down constraints