Bayesian mechanism design for budget-constrained agents · Study