BIM-Based Analysis and Strategies to Reduce Carbon Emissions of Underground Construction in Public Buildings: A Case on Xi’an Shaanxi, China | Synapse