mean repair time