Optimization of map matching algorithms for indoor navigation in shopping malls.