magma generation