A computational and empirical analysis of the thermal performance of insulating concrete formwork