PAC-Bayesian Treatment Allocation Under Budget Constraints