Optimization of Traffic Signal Timing for Urban Mobility: A Case Study