Modeling Transmission Line Constraints in Two-Stage Robust Unit Commitment Problem | Synapse