doi dblp Sequential Monte Carlo Methods for Nonlinear Discrete-Time Filtering Marcelo G. S. Bruno 2013