Frequency Stability Constrained BESS Sizing Model for Microgrids | Synapse