what is the difference between magma and lava