Upgrade of William-Durham traffic lights improves pedestrian safety