Volcanic eruption: what to do