Quali sono le azioni da intraprendere in caso di fughe di gas nei cantieri edili?