Speeding Cars and Traffic Lights: A Stochastic Model of the Time Benefit of Speeding on Roads with Traffic Lights