Fair and efficient allocation with quotas