Spatial Synthesis in Computer-Aided Building Design