Fueling Industrial Flexibility: Discrete-Time Dispatch Optimization of Electric Arc Furnaces | Synapse