Evaluating lava flow propagation models with a case study from the 2018 eruption of Kīlauea Volcano, Hawai'i