On Social Envy-Freeness in Multi-Unit Markets