Frequency Dynamics Constrained Unit Commitment With Battery Energy Storage | Synapse