What is the difference between the composition of lava and magma