A Hybrid Bayesian Framework for Map Matching: Formulation Using Switching Kalman Filter