Modeling and Optimization in Software-Defined Networks