Reducing speeding with safe waves arterial signal timing: techniques and case studies.