On Mixed-Integer Programming Formulations for the Unit Commitment Problem | Synapse