Bayesian Algorithm Execution: Estimating Computable Properties of Black-box Functions Using Mutual Information