The methods for exactly solving redundancy allocation optimization for multi-state series–parallel systems