MDPOP: faithful distributed implementation of efficient social choice problems