BIM-VE-Based Optimization of Green Building Envelope from the Perspective of both Energy Saving and Life Cycle Cost | Synapse