On social envy-freeness in multi-unit markets