Bayesian model comparison via sequential Monte Carlo