Vickrey-Clarke-Groves mechanism