Envoyer par SMS: A tight MIP formulation of the unit commitment problem with start-up and shut-down constraints