Producers/sound engineers: what is that effect in pop music where (typically) a lead vocal track is somehow “doubled” that is distinct from normal stereo sound?