Analysis and computation for Bayesian inverse problems