How sleep repairs muscles