DF-map: A Novel Variable Resolution Decision Forest Map for Localization.