Text this: A survey of convergence results on particle filtering methods for practitioners