Terrain-based vehicle localization from real-time data using dynamical models.