what is lava

what is lava