Text this: Carbon Reduction Calculation and Application in the Life Cycle of Green Buildings Based on Building Information Modeling