Optimal Taxation of Capital Income in General Equilibrium with Infinite Lives