The velocity structure of Mount Erebus, Antarctica, and its lava lake