Mean life of the positive muon