A global optimization approach to solve the traffic signal synchronization problem