The crystallization of lava lakes