The new science of volcanoes harnesses AI, satellites and gas sensors to forecast eruptions