Efficiently Solving the Redundancy Allocation Problem Using Tabu Search