Bayesian emulation of computer programs