A new model for the redundancy allocation problem with component mixing and mixed redundancy strategy