Elevation of potassium content of basaltic magma by fractional crystallization: the effect of pressure