Diversion of lava flows by aerial bombing — lessons from Mauna Loa volcano, Hawaii