Kīlauea’s 2008–2018 summit lava lake—Chronology and eruption insights