On efficient and procedurally-fair equilibrium allocations in sharing games