Reasoning Spatial Relationships in Building Information Models using Voxels