Optimal Traffic Light Control for a Single Intersection