Tight and compact MILP formulation of start-up and shut-down ramping in unit commitment