Crystallization of tholeiitic basalt in Alae Lava Lake, Hawaii