Dynamic insulation of the building envelope: numerical modeling under transient conditions and coupling with nocturnal free cooling