Describir: Frequency Stability-Constrained Unit Commitment: Tight Approximation using Bernstein Polynomials