How they keep pedestrian streets from freezing over in winter.