The excess burden of taxation in the US