Computing Efficient Envy-Free Partial Allocations of Indivisible Goods