How the federal income tax applies to condemnations of private property for public use ...