Presented at a group meeting of the Welfarist Control group, Automatic Control Laboratory, ETH Zurich.