The control of vehicular traffic at street and highway intersections