Magma differentiation