Implementation of the Walrasian correspondence by market games