Prediction and Scenario Simulation of the Carbon Emissions of Public Buildings in the Operation Stage Based on an Energy Audit in Xi'An, China