A relation between lava discharge rate, thermal insulation, and flow area set using lidar data