The Economic Theory of Eminent Domain