Constructing indoor navigation systems from digital building information | IEEE Conference Publication | IEEE Xplore