Extraction of the 3D Free Space from Building Model for Indoor Navigation