Multi-variable linear and nonlinear optimization model for traffic signal timing