An Extraction Approach of the Top-Bounded Space Formed by Buildings for Pedestrian Navigation | Synapse