Taxing capital income as Pigouvian correction: the role of discounting future