Insulating a roof without ventilation