Optimization of the number of pumping stations when tracing distribution lines of the external fire-fighting water supply system