Redundancy Allocation for Series-Parallel Systems Using Integer Linear Programming