PIR-eristeisen suljetun kattorakenteen rakennusfysikaalinen tarkastelu simuloinnin avulla