Modeling of Linearized Generator Inertia Constraints for Unit Commitment | Synapse