An Efficient Binary-Decision-Diagram-Based Approach for Network Reliability and Sensitivity Analysis