Skillnad mellan lava och magma