Optimal Taxation and Constrained Inefficiency in an Infinite-Horizon Economy with Incomplete Markets