Kullback-Leibler Divergence-based Global Localization for Mobile Robots