AI-Boosted Traffic Signals Cut Waits in San Anselmo