A new symbolic approach for network reliability analysis