MDPOP: Faithful Distributed Implementation of Efficient Social Choice Problems