Automatic Extraction of an IndoorGML Navigation Graph from an Indoor Point Cloud