A decision support tool for operational optimization in WDNetXL