Mathematically Optimizing Traffic Lights in Road Intersections