types of magma