Indoor positioning infrastructure for navigation