Subtractive Building Massing for Performance-Based Architectural Design Exploration: A Case Study of Daylighting Optimization | Synapse