An efficient phased-mission reliability model considering dynamic k-out-of-n subsystem redundancy