Lava lake level as a gauge of magma reservoir pressure and eruptive hazard