How to shorten red light clearance times without reducing safety