Mechanisms and impossibilities for truthful, envy-free allocations