Bayesian implementation in exchange economies with state dependent feasible sets and private information