V2X Digital Twin for Traffic Light Optimization