Optimal taxation of intangible capital