Fair and Efficient Taxation Under Partial Control: Theory and Evidence