a rock that forms from magma or lava