San Francisco — Is there any data on traffic-lights? For example, scheduled timings as well as actual (historical) timings.