Propagation and arrest of the May 2021 lateral dike intrusion at Nyiragongo (D.R. Congo)