Efficiency and Envy-freeness in Fair Division of Indivisible Goods: Logical Representation and Complexity