When lava is heated, the density