Mixture representation for the residual lifetime of a repairable system