Convergence of Bayesian histogram filters for location estimation