Gravar-mail: Stable and envy-free lottery allocations for affordable housing