Indoor Semantic Modelling for Routing: The Two-Level Routing Approach for Indoor Navigation. A+BE 2017, No. 17, 1-252.