Quali sono le misure di emergenza da adottare in caso di fughe di gas sul luogo di lavoro?