Taxation of capital income, allocative efficiency, and welfare