Economic Theory of Eminent Domain