Which type of rock is formed from the cooling of molten lava or magma?