Methodologies and Tools for BIM-Based Calculation of Dynamic Life Cycle Assessment towards Net Zero Emission Buildings