Thermal convection in lava lakes