Scheduling independent stochastic tasks under deadline and budget constraints. (March 2020)