Model-Based, Performance-Oriented Building Design Employing Distributed Service Systems