Music producers/sound engineers: what is that effect in pop music where often a lead vocal track is somehow “doubled” that is distinct from normal stereo sound?