Development and Testing of the CityJSON Energy Extension for Space Heating Demand Calculation