Lecture 3: Incentive Compatibility, Revenue of the Vickrey auction