Geometric Constraint Model and Mobility Graphs for Building Utilization Intelligence.