ELI5: How do the pedestrian buttons at stoplights actually work? Why do some stoplights have them and others don’t?