Geometric Reasoning in Computer Integrated Building Construction