The embodied carbon of insulation materials, which are the best choices for insulating homes