is lava hotter than magma