6.13: What is the total length of streets with installed street lights in the city?