A constitutional choice model of compensation for takings