A Novel Projected Two Binary Variables Formulation for Unit Commitment Problem