A novel projected two-binary-variable formulation for unit commitment in power systems. (1st February 2017)