Computation of k-out-of-n System Reliability via Reduced Ordered Binary Decision Diagrams