Sequential Monte Carlo for Bayesian Computation