What type of rock forms from the cooling of magma or lava?