A Markov Regenerative Process Model for the Dependability and Performance of a Two-Unit Multi-State System under Maintenance